Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
471	Similarity Quotients as Final Coalgebras Paul Blain Levy⋆ University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-04-02 14:59:57 Order theory Algebraic topology F-coalgebra Coalgebra Partially ordered set Preorder Equivalence relation Functor Presentation of a group Mathematics Abstract algebra Category theory
472	Our Approach to Increasing Productive Feedback.... Feedback is vital to the survival and development of any individual or system. As individuals, as members of groups and organizations, we all need feedback in order to c Add to Reading List Source URL: www.marcusgroup.net Language: English - Date: 2015-01-01 20:04:56 360-degree feedback Human resource management Control theory Feedback
473	Definability for Downward and Vertical XPath on Data Trees Sergio Abriola1 , Mar´ıa Emilia Descotte1 , and Santiago Figueira1,2 1 University of Buenos Aires, Argentina Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2014-11-18 05:43:25 Metalogic Ultraproduct Sheaf First-order logic Model theory Mathematical logic Logic
474	Evaluation of Output Embeddings for Fine-Grained Image Classification Zeynep Akata∗ , Scott Reed† , Daniel Walter† , Honglak Lee† and Bernt Schiele∗ ∗ Computer Vision and Multimodal Computing Max Planck Insti Add to Reading List Source URL: www-personal.umich.edu Language: English - Date: 2015-07-10 12:22:22 Topology Maps of manifolds Model theory Category theory Differential topology Embedding WordNet Monotonic function Mathematical analysis Mathematics Order theory
475	THE JOURNAL OF CHEMICAL PHYSICS 128, 044503 共2008兲 Theory for an order-driven disruption of the liquid state in water Jeremy L. Englanda兲 Department of Physics, Stanford University, Stanford, California 94305, USA Add to Reading List Source URL: www.englandlab.com Language: English - Date: 2011-07-05 13:24:18
476	Optimized composition of performance-aware parallel components? ?? Christoph W. Kessler1 and Welf L¨owe2 1 IDA, Link¨oping University, 58183 Link¨oping, Sweden. Add to Reading List Source URL: welf.se Language: English - Date: 2013-04-23 05:54:26 Spaceflight Quicksort Merge sort Sorting Bitonic sorter Parallel computing Generic programming N1 Sorting algorithms Order theory Mathematics
477	On the Formal Semantics of IF-like Logics Santiago Figueira∗ Daniel Gor´ın∗ Rafael Grimson† Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2008-07-19 15:45:01 Model theory Philosophical logic Semantics Non-classical logic First-order logic Interpretation Lambda calculus Independence-friendly logic FO Logic Mathematical logic Mathematics
478	Automatic Modulation Classification for MIMO Systems Using Fourth-Order Cumulants ∗ ¨ † , Octavia A. Dobre‡ , Holger U. J¨akel∗ , Friedrich K. Jondral∗ Michael S. M¨uhlhaus∗ , Meng¨uc Oner Add to Reading List Source URL: www.cel.kit.edu Language: English - Date: 2013-03-04 07:18:28 Information Technology IEEE 802 Data transmission Quadrature amplitude modulation Noise MIMO Channel state information Modulation Telecommunications engineering Radio resource management Information theory
479	Modal properties of recursively defined commands Paul Blain Levy, University of Birmingham And {s.As }s∈A∗ means: A recent paper (“Seeing Beyond Divergence”, Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-07-23 07:52:00 Models of computation Order theory Philosophical logic Computability theory Equivalence relation Lambda calculus Preorder Modal logic Denotational semantics Mathematics Logic Mathematical logic
480	Cut Elimination in Deduction Modulo by Abstract Completion Guillaume Burel1 and Claude Kirchner2 1 3 Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:13:18 Natural deduction Sequent calculus Cut-elimination theorem Sequent Rule of inference First-order logic Mathematical proof KeY Negation Logic Mathematical logic Proof theory

UPDATE